/*
 * @Author: hzxOnlineOk
 * @Date: 2025-08-20 22:04:39
 * @LastEditors: Please set LastEditors
 * @LastEditTime: 2025-08-20 22:05:42
 * @Description: 请填写简介
 */
#ifndef TYPES_H
#define TYPES_H
#include <stdint.h>

typedef uint32_t riscv_word_t;    //取一个别名,便于移植到64位的平台上

#endif
